moved to domain.h and hence undefined in some source files.
This meant that some return types defaulted to int, resulting
in corruption.
Signed-off-by: Kevin Tian <kevin.tian@intel.com>
#include <asm/unistd.h>
#ifdef XEN
+#include <xen/domain.h>
#include <asm/hw_irq.h>
int ht_per_core = 1;
#ifndef CONFIG_SMP
#include <xen/init.h>
#include <xen/lib.h>
#include <xen/errno.h>
-#include <xen/domain.h>
#include <xen/sched.h>
#include <xen/smp.h>
#include <xen/delay.h>
#include <asm/vcpu.h> /* for function declarations */
#include <public/arch-ia64.h>
+#include <xen/domain.h>
#include <asm/vmx.h>
#include <asm/vmx_vcpu.h>
#include <asm/vmx_vpd.h>